• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام
تعداد ۸۱ پاسخ غیر تکراری از ۸۱ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

1. <A> Concise introduction to pure mathematics

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Martin Liebeck.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات

Classification :
QA9
.
L478
2016
E-book
,

2. <A> First Course in Logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Shawn Hedman

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic,Logic, Symbolic and mathematical,م‍ن‍طق‌,منطق ریاضی

Classification :
E-Book
,

3. <A> First Course in Mathematical Logic and Set Theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Michael L. O'Leary

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05

Classification :
QA
9
.
O4F5
2016
E-Book
,

4. <A> First Course in Modern Logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Edith Watson Shipper and Edward Schuh

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, Symbolic and mathematical,منطق ریاضی

Classification :
BC135
.
S33F5
1960

5. <A> Framework for Priority Arguments

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Manuel Lerman

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی

Classification :
QA9
,.
54
.
F7
,
L47
2010

6. <A> Logical Approach to Philosophy

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ edited by David Devidi and Tim Kenyon.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها

Classification :
E-Book
,

7. <A> Mathematical Introduction to Logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Herbert B. Enderton

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, symbolic and mathematical,منطق ریاضی,a03,a03

Classification :
E-Book
,

8. <A> course in mathematical logic for mathematicians

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, Symbolic and mathematical.,منطق ریاضی

Classification :
E-Book
,

9. Algebra, logic, and combinatorics

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی

Classification :
QA155
.
A525
2016
E-book
,

10. Analysis and Synthesis of Logics

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ by Walter Carnielli...[et.al]

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, Symbolic and mathematical.,منطق ریاضی

Classification :
E-Book
,

11. Automated Deduction – CADE-25

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Amy P. Felty , Aart Middeldorp (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها

Classification :
QA
76
.
9
.
A96
2015
E-Book
,

12. Beyond first order model theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ edited by Jose Iovino.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی

Classification :
QA9
.
7
.
I587
2017
E-book
,

13. Computability: Computable Functions, Logic, And The Foundations Of Mathematics

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Richard L. Epstein, Walter A. Carnielli

Library: Library of Islamic Encyclopedia Foundation (Tehran)

Subject: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical

Classification :
QA
9
,.
59
.
E67
‬

14. Discovering Patterns in Mathematics and Poetry

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Marcia Birken and Anne C. Coon

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)

Classification :
E-Book
,

15. Elementary logic

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Benson Mates

Library: Library of Islamic Encyclopedia Foundation (Tehran)

Subject: منطق ریاضی,Logic , Symbolic and mathematical

Classification :
BC135
‬ .
M37
‬

16. Elements of Logical Reasoning

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Jan von Plato

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق

Classification :
QA9
.
V66
2013

17. Essays on the Foundations of Mathematics

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Stephen Pollard, editor.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه

Classification :
QA
8
.
6
.
E8
2010
E-Book
,

18. Frege's Theorem

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Richard G. Heck, Jr

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ‌، گ‍ات‍لاب‌،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی

Classification :
B3245
.
F24
H43
2011

19. From Mathematics to Philosophy

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Hao Wang

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04

Classification :
E-Book
,

20. Frontiers of Combining Systems

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: \ Carsten Lutz, Silvio Ranise (eds.).

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01

Classification :
QA
9
.
A1
F7
2015
E-Book
,
  • »
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival